<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
    "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<script type="text/javascript" src="/Giocondo/js/Library.js">
</script>
<meta name="generator" content=
"<?php echo WHOAMI ?>" />
<meta http-equiv="Content-Script-Type" content="text/javascript" />
<link rel="stylesheet" type="text/css" href="/Giocondo/css/Gtk.css"
title="Giocondo GTK-like default style" />
<title><?php echo $this->options['title'] ?></title>
<?php @include('GiocondoHead.php') ?>
</head>
<?php (@include('GiocondoBody.php')) or print("<body>\n") ?>
<?php @include('GiocondoPre.php') ?>
<noscript>
<p><strong>Fatal error</strong>: Your browser is configured not to
evaluate scripts or does not support JavaScript language.</p>
</noscript>
<div id="w<?php echo $this->id ?>"><?php $this->display_child() ?></div>
<div id="w0" style="display: none"></div>
<?php if ($this->has_js()) { ?><script type="text/javascript">
//<![CDATA[
with(Giocondo.getInstance()){<?php $this->display_first() ?>}
//]]>
</script>
<?php } ?><?php @include('GiocondoPost.php') ?>
</body>
</html>
